function updateIFrame(height,width)
{
	var repository_iframe = document.getElementById( 'repository_iframe' );
	repository_iframe.style.height=height;
	repository_iframe.style.width=width;
}